English translation for "horn clause"
|
- horn子句
霍队句
霍恩子句 (逻辑语法)
Related Translations:
- Example Sentences:
| 1. | Method extraction based on reachability tree of pr t net for horn clauses set
网可达树的方案求解 | | 2. | This dissertation is devoted to some key issues of semantic web and to kms ( knowledge management system ) in the context of semantic web . the author ' s contributions of presented in this thesis include : defining the ontology semantics for description primitives of logical formula and relational axioms markup languages are employed to describe the objects and resources in a web environment . in order to represent knowledge , logical formula , relational axioms and rules , there is a need for primitives specifying prepositional formula , predictive formula and horn clause , and relations between properties and relational axiomx
本文对web语义化过程中部分关键问题和基于语义化web的kms进行了研究，主要的创新性工作包括：定义了逻辑公式及关系公理描述原语的ontology语义： web环境中用标记语言描述对象和资源，为了在语义化web上表示知识、逻辑公式、关系公理和规则，需要定义描述命题逻辑公式、谓词逻辑公式、 horn逻辑的逻辑原语以及描述属性之间关系的关系原语。 | | 3. | In this thesis , the author just discusses horn clause sets , and gives how to transform horn clause set into neural network . go a step further , the author discusses how to get the learning algorithm of neural network that is equivalence with resolution principle , and proves completeness theorem and soundness theorem of the algorithm for resolution
本文将所讨论的子句集限制在horn子句集上，给出了horn子句集转化为一个神经网络模型的方法，进j一步，对如何构造该神经网络的学习算法来体现归结过程进行了讨论，并证明了此学习算法用于归结原理的可靠性和完备性。 |
- Similar Words：
- "horn card" English translation, "horn carving" English translation, "horn carving picture" English translation, "horn cell" English translation, "horn circuit" English translation, "horn cleat" English translation, "horn collector" English translation, "horn comb" English translation, "horn combs" English translation, "horn compensation" English translation
|
|
|
